Gödel's First Incompleteness Theorem, Proof Sketch